Agent-Based Simulations of Blockchain protocols illustrated via Kadena's Chainweb

While many distributed consensus protocols provide robust liveness and consistency guarantees under the presence of malicious actors, quantitative estimates of how economic incentives affect security are few and far between. In this paper, we describe a system for simulating how adversarial agents, both economically rational and Byzantine, interact with a blockchain protocol. This system provides statistical estimates for the economic difficulty of an attack and how the presence of certain actors influences protocol-level statistics, such as the expected time to regain liveness. This simulation system is influenced by the design of algorithmic trading and reinforcement learning systems that use explicit modeling of an agent's reward mechanism to evaluate and optimize a fully autonomous agent. We implement and apply this simulation framework to Kadena's Chainweb, a parallelized Proof-of-Work system, that contains complexity in how miner incentive compliance affects security and censorship resistance. We provide the first formal description of Chainweb that is in the literature and use this formal description to motivate our simulation design. Our simulation results include a phase transition in block height growth rate as a function of shard connectivity and empirical evidence that censorship in Chainweb is too costly for rational miners to engage in. We conclude with an outlook on how simulation can guide and optimize protocol development in a variety of contexts, including Proof-of-Stake parameter optimization and peer-to-peer networking design.Comment: 10 pages, 7 figures, accepted to the IEEE S&B 2019 conferenc

BSE situation and establishment of Food Safety Commission in Japan

Eight major policies were implemented by Japanese Government since Oct. 2001, to deal with bovine spongiform encephalopathy (BSE). These are; 1) Surveillance in farm by veterinarian, 2) Prion test at healthy 1.3mi cows/yr, by veterinarian, 3) Elimination of specified risk material (SRM), 4) Ban of MBM for production, sale use, 5) Prion test for fallen stocks, 6) Transparent information and traceability, 7) New Measures such as Food Safety Basic Law, and 8) Establish of Food Safety Commission in the Cabinet Office. At this moment, the extent of SRM risk has only been indicated by several reports employing tests with a limited sensitivity. There is still a possibility that the items in the SRM list will increase in the future, and this indiscriminately applies to Japanese cattle as well. Although current practices of SRM elimination partially guarantee total food safety, additional latent problems and imminent issues remain as potential headaches to be addressed. If the index of SRM elimination cannot guarantee reliable food safety, we have but to resort to total elimination of tissues from high risk-bearing and BSE-infected animals. However, current BSE tests have their limitations and can not yet completely detect high-risk and/or infected animals. Under such circumstances, tissues/wastes and remains of diseased, affected fallen stocks and cohort animals have to be eliminated to prevent BSE invading the human food chain systems. The failure to detect any cohort should never be allowed to occur, and with regular and persistent updating of available stringent records, we are at least adopting the correct and useful approach as a reawakening strategy to securing food safety. In this perspective, traceability based on a National Identification System is required

Cosmological Tests of Gravity

Modifications of general relativity provide an alternative explanation to dark energy for the observed acceleration of the universe. We review recent developments in modified gravity theories, focusing on higher dimensional approaches and chameleon/f(R) theories. We classify these models in terms of the screening mechanisms that enable such theories to approach general relativity on small scales (and thus satisfy solar system constraints). We describe general features of the modified Friedman equation in such theories. The second half of this review describes experimental tests of gravity in light of the new theoretical approaches. We summarize the high precision tests of gravity on laboratory and solar system scales. We describe in some detail tests on astrophysical scales ranging from ~kpc (galaxy scales) to ~Gpc (large-scale structure). These tests rely on the growth and inter-relationship of perturbations in the metric potentials, density and velocity fields which can be measured using gravitational lensing, galaxy cluster abundances, galaxy clustering and the Integrated Sachs-Wolfe effect. A robust way to interpret observations is by constraining effective parameters, such as the ratio of the two metric potentials. Currently tests of gravity on astrophysical scales are in the early stages --- we summarize these tests and discuss the interesting prospects for new tests in the coming decade.Comment: Invited review for Annals of Physics; 58 pages, 8 figures

Highlights from the Pierre Auger Observatory

The Pierre Auger Observatory is the world's largest cosmic ray observatory. Our current exposure reaches nearly 40,000 km$^2$ str and provides us with an unprecedented quality data set. The performance and stability of the detectors and their enhancements are described. Data analyses have led to a number of major breakthroughs. Among these we discuss the energy spectrum and the searches for large-scale anisotropies. We present analyses of our X$_{max}$ data and show how it can be interpreted in terms of mass composition. We also describe some new analyses that extract mass sensitive parameters from the 100% duty cycle SD data. A coherent interpretation of all these recent results opens new directions. The consequences regarding the cosmic ray composition and the properties of UHECR sources are briefly discussed.Comment: 9 pages, 12 figures, talk given at the 33rd International Cosmic Ray Conference, Rio de Janeiro 201

The exposure of the hybrid detector of the Pierre Auger Observatory

The Pierre Auger Observatory is a detector for ultra-high energy cosmic rays. It consists of a surface array to measure secondary particles at ground level and a fluorescence detector to measure the development of air showers in the atmosphere above the array. The "hybrid" detection mode combines the information from the two subsystems. We describe the determination of the hybrid exposure for events observed by the fluorescence telescopes in coincidence with at least one water-Cherenkov detector of the surface array. A detailed knowledge of the time dependence of the detection operations is crucial for an accurate evaluation of the exposure. We discuss the relevance of monitoring data collected during operations, such as the status of the fluorescence detector, background light and atmospheric conditions, that are used in both simulation and reconstruction.Comment: Paper accepted by Astroparticle Physic

The Pierre Auger Observatory III: Other Astrophysical Observations

Astrophysical observations of ultra-high-energy cosmic rays with the Pierre Auger ObservatoryComment: Contributions to the 32nd International Cosmic Ray Conference, Beijing, China, August 201

Exploring Cosmic Origins with CORE: Cosmological Parameters

We forecast the main cosmological parameter constraints achievable with theCORE space mission which is dedicated to mapping the polarisation of the CosmicMicrowave Background (CMB). CORE was recently submitted in response to ESA'sfifth call for medium-sized mission proposals (M5). Here we report the resultsfrom our pre-submission study of the impact of various instrumental options, inparticular the telescope size and sensitivity level, and review the great,transformative potential of the mission as proposed. Specifically, we assessthe impact on a broad range of fundamental parameters of our Universe as afunction of the expected CMB characteristics, with other papers in the seriesfocusing on controlling astrophysical and instrumental residual systematics. Inthis paper, we assume that only a few central CORE frequency channels areusable for our purpose, all others being devoted to the cleaning ofastrophysical contaminants. On the theoretical side, we assume LCDM as ourgeneral framework and quantify the improvement provided by CORE over thecurrent constraints from the Planck 2015 release. We also study the jointsensitivity of CORE and of future Baryon Acoustic Oscillation and Large ScaleStructure experiments like DESI and Euclid. Specific constraints on the physicsof inflation are presented in another paper of the series. In addition to thesix parameters of the base LCDM, which describe the matter content of aspatially flat universe with adiabatic and scalar primordial fluctuations frominflation, we derive the precision achievable on parameters like thosedescribing curvature, neutrino physics, extra light relics, primordial heliumabundance, dark matter annihilation, recombination physics, variation offundamental constants, dark energy, modified gravity, reionization and cosmicbirefringence. (ABRIDGED

American Gut: an Open Platform for Citizen Science Microbiome Research

McDonald D, Hyde E, Debelius JW, et al. American Gut: an Open Platform for Citizen Science Microbiome Research. mSystems. 2018;3(3):e00031-18

Bounds on the density of sources of ultra-high energy cosmic rays from the Pierre Auger Observatory

We derive lower bounds on the density of sources of ultra-high energy cosmic rays from the lack of significant clustering in the arrival directions of the highest energy events detected at the Pierre Auger Observatory. The density of uniformly distributed sources of equal intrinsic intensity was found to be larger than similar to (0.06 – 5) x 10(-4) Mpc(-3) at 95% CL, depending on the magnitude of the magnetic defections. Similar bounds, in the range (0.2 – 7) x 10(-4) Mpc(-3), were obtained for sources following the local matter distribution.We are very grateful to the following agencies and organizations for financial support,: Comision Nacional de Energia Atomica, Fundacion Antorchas, Gobierno De La, Provincia de Ailendoza. Municipalidad de Malargile. INDM floldings and Valle Las Lenas, in gratitude for their continuing cooperation over land access. Argentina; the Australian Research Council; Conselho Nacional de Desenvolvimento Cientifico e 'Tecnologico (CNPq), Financiadora de Estudos e Projetos (FINEP), Fundacdo de Amparo a Pesquisa do Est ado de Rio de Janeiro (FAP HRJ), Fundacdo de Amparo Pesquisa do Estado de Sdo Paulo (FAPESP), Ministerio de Ciencia e Tecnologia (IVICT), Brazil; AVCR AVOZ10100502 and AVOZ10100522, GAAV KJB100100904, AISMT-CR LA08016, LG11044, 1VIEB111003, MSAI0021620859, LA08015, TACR TA01010517 and GA U.K. 119810, Czech Republic; Centre de Calcul I-N2P3/CNRS, Centre National de la -Recherche Scientifique ((1 NRS), Conseil Regional Ile-de-France, f)epartement, Physique Nuclealre et Corpusculaire (I N( Departement Sciences de l'Univers (SDU-INSU/CNRS), France; Bundesministerium fur Bildung und Forschung (BMBF), Deutsche Forschungsgemeinschaft (DITG), Finanzministerium Baden-Wurttemberg, flelmholtz-Gemeinschaft Deutscher Forschungszentren Ministerium fur Wissenschaft und Forschung, Nordrhein-Westfalen, Ministerimn fur Wissenschaft, Forschung und Kunst, Baden-WUrttemberg, Germany; Istituto Nazion ale di Fisica Nucleare (INFN), Ministero dell'Istruzione, delhLniversita e della Ricerca (MIUR), Italy: Consejo Nacional de Ciencia y Tecnologia (CONACYT), Mexico; Ministerie van Onden s Cultuur on NVetenschap Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), Stichting voor Rmdamenteel Onderzoek der Materie (FOM), Netherlands; Ministry of Science and Higher Education, Grant Nos. N N202 200239 and N N202 207238, Poland; Portuguese national funds and FEDER funds within COMPETE - Programa Operacional Factores de Competitividade through Fundacao para a Ciencia e a Tecnologia, Portugal; Romanian Authority for Scientific Research ANCS, CNDI-UEFISETD1 partnership projects nr.20/2012 and nr.194/2012, project nr.1 /ASPERA2/20I2 ERA-NET and PN-IIRU-PD-2011-3-0145-17, Romania; Ministry for Higher Education, Science, and 'Technology, Slovenian Research Agency, Slovenia; Comunidad de Madrid, FEDER funds, Ministerio de Ciencia e Innovacion and Consolider-Ingenio 2010 (( PAN), X unta de Galicia Spain; Science and Technology Facilities Council, United kingdom; Department of Luergy, Contract Nos. DE-ACO2-07(11-111359, DE-FR02-04E1(41300, DE-FG02-99E1(41107, National Science Foundation, Grant No. 0450696, The Grainger Foundation U.S.A.; NAFOSTED, Vietnam; Marie Curie-IRSES/HPLANET, European Particle Physics Latin American Network, European Union 7th Frarneworlc Program. Grant No. IIRSES-2009-GA-246806; and UNESCO.Peer reviewe